$\forall$$T$, ${\it TA}$:(Id$\rightarrow$Type), $M$:(IdLnk$\rightarrow$Id$\rightarrow$Type). w{-}automaton($T$;${\it TA}$;$M$) $\in$ Type